(tex-validate-buffer): Add help-echo to mouse-highlighted text.

diff --git a/lisp/textmodes/tex-mode.el b/lisp/textmodes/tex-mode.el
index ef5004fffd5674266cee8f07817f846b98ab27b7..e74f64ef23b910a8aeeafc747df32c38916aed39 100644 (file)
--- a/lisp/textmodes/tex-mode.el
+++ b/lisp/textmodes/tex-mode.el
@@ -999,8 +999,10 @@ on the line for the invalidity you want to see."
                      (forward-char (- start end))
                      (setq text-beg (point-marker))
                      (insert (format "%3d: " linenum))
-                     (put-text-property text-beg (- text-end 1)
-                                        'mouse-face 'highlight)
+                     (add-text-properties
+                      text-beg (- text-end 1)
+                      '(mouse-face highlight
+                        help-echo "mouse-2: go to this invalidity"))
                      (put-text-property text-beg (- text-end 1)
                                         'occur tem)))))
            (goto-char prev-end))))